Affine Hybrid Systems
نویسندگان
چکیده
Affine hybrid systems are hybrid systems in which the discrete domains are affine sets and the transition maps between discrete domains are affine transformations. The simple structure of these systems results in interesting geometric properties; one of these is the notion of spatial equivalence. In this paper, a formal framework for describing affine hybrid systems is introduced. As an application, it is proven that every compact hybrid system H is spatially equivalent to a hybrid system Hid in which all the transition maps are the identity. An explicit and computable construction for Hid is given.
منابع مشابه
Realization Theory for Discrete-Time Piecewise-Affine Hybrid Systems
The paper investigates the realization problem for piecewise-affine discrete-time hybrid systems. A piecewise-affine discrete-time hybrid system is a discrete-time system such that the state-transition and readout maps are piecewise-affine maps. We will restrict our attention to autonomous systems and we will study the following realization problem. For a specified output trajectory, find a pie...
متن کاملPiecewise Affine Modeling of a Hybrid 3-Tank System
Hybrid systems are systems where both the continuous and the discrete dynamics co-exist and interact with each other, that is they freely combine dynamical features from both these systems and are therefore claimed to be more challenging that the continuous dynamical systems.[1]. The fundamental feature is its nature of hybridness that enhances flexibility and proves perfect combination of disc...
متن کاملControl to facet problems for affine systems on simplices and polytopes – With applications to control of hybrid systems
In this paper, a general control-to-facet problem for affine systems on polytopes is studied: find an affine feedback law such that all trajectories of the closed-loop system leave the state polytope through an a priori specified (possibly empty) set of facets. Solutions are presented in terms of (bi)linear inequalities in the coefficients of the affine feedback. The result is applied to contro...
متن کاملDiscretizing Affine Hybrid Automata with Uncertainty
Over-approximating the set of all reachable states of a given system is an important task for the verification of safety properties. Such an unbounded time verification is in particular challenging for hybrid systems. We recently developed an algorithm that over-approximates the set of all reachable states of a given affine hybrid automata by performing linear template-based abstract interpreta...
متن کاملStabilizability of affine switching systems: A Kalman-like approach
In this paper, we focus on a particular subclass of hybrid systems, the class of affine switching systems. We propose hybrid state space decompositions, based on hybrid invariant subspaces, which reduce the computational effort required for checking the structural property of asymptotic stabilizability. RÉSUMÉ. A définir par la commande
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004